Nuprl Definition : csupdate-from 11,40

csupdate-from(x) == chain_sys_ind(x;cmd.;from,cmds.from
latex


Definitionschain_sys_ind(x;cmd.input(cmd);from,cmds.update(from;cmds)),
FDL editor aliasescsupdate-from

origin